Closed and image-closed relations
نویسندگان
چکیده
منابع مشابه
⊤⊤-closed relations and admissibility
While developing a method for reasoning about programs, Pitts defined the ⊤⊤-closed relations as an alternative to the standard admissible relations. This paper reformulates and studies Pitts’s operational concept of ⊤⊤-closure in a semantic framework. It investigates the nontrivial connection between ⊤⊤-closure and admissibility, showing that ⊤⊤-closure is strictly stronger than admissibility ...
متن کاملSubordinations, closed relations and compact Hausdorff spaces
We introduce the concept of a subordination, which is dual to the well-known concept of a precontact on a Boolean algebra. We develop a full categorical duality between Boolean algebras with a subordination and Stone spaces with a closed relation, thus generalizing the results of [14]. We introduce the concept of an irreducible equivalence relation, and that of a Gleason space, which is a pair ...
متن کاملClosed-loop adaptive image segmentation
One of the fundamental weaknesses of current computer vision systems used in outdoor applications is their inability to adapt the segmentation process as real-world changes occur in the image. We present a closed loop image segmentation system that incorporates a genetic algorithm to adapt the segmentation process to changes in image characteristics caused by variable environmental conditions. ...
متن کاملClosed Pattern Mining from n-ary Relations
In this paper, we address the problem of closed pattern mining from n-ary relations. We propose CnS-Miner algorithm which enumerates all the closed patterns of the given n-dimensional dataset in depth first manner satisfying the user specified minimum size constraints. From the given input, the CnS-Miner algorithm generates an n-ary tree and visits the tree in depth first manner. We have propos...
متن کاملImage Divergence and Deformation from Closed Curves
This paper describes a novel method to measure the differential invariants of the image velocity field from the integral of normal image velocities around image contours. This is equivalent to measuring the temporal changes in the area of a closed contour. This avoids having to recover a dense image velocity field and taking partial derivatives. It also does not require point or line correspond...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Pacific Journal of Mathematics
سال: 1966
ISSN: 0030-8730,0030-8730
DOI: 10.2140/pjm.1966.19.433